Numerical 'health check' for scientific codes: the CADNA approach

نویسندگان

  • N. Stanley Scott
  • Fabienne Jézéquel
  • Christophe Denis
  • Jean Marie Chesneaux
چکیده

Scientific computation has unavoidable approximations built into its very fabric. One important source of error that is difficult to detect and control is round-off error propagation which originates from the use of finite precision arithmetic. We propose that there is a need to perform regular numerical ‘health checks’ on scientific codes in order to detect the cancerous effect of round-off error propagation. This is particularly important in scientific codes that are built on legacy software. We advocate the use of the CADNA library as a suitable numerical screening tool. We present a case study to illustrate the practical use of CADNA in scientific codes that are of interest to the Computer Physics Communications readership. In doing so we hope to stimulate a greater awareness of round-off error propagation and present a practical means by which it can be analyzed and managed. PACS: 02.60.-x; 02.60.Jh; 02.70.-c; 02.50.Ey.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Estimation of Round-Off Errors on Several Computer Architectures

Numerical validation of computed results in scienti c computation is always an essential problem as well on sequential architecture as on parallel architecture. The probabilistic approach is the only one that allows to estimate the round-o error propagation of the oating point arithmetic on computers. We begin by recalling the basics of the CESTAC method (Contrôle et Estimation STochastique des...

متن کامل

CADNA: a library for estimating round-off error propagation

The CADNA library enables one to estimate round-off error propagation using a probabilistic approach. With CADNA the numerical quality of any simulation program can be controlled. Furthermore by detecting all the instabilities which may occur at run time, a numerical debugging of the user code can be performed. CADNA provides new numerical types on which round-off errors can be estimated. Sligh...

متن کامل

CADNA_C: A version of CADNA for use with C or C++ programs

The CADNA library enables one to estimate round-off error propagation using a probabilistic approach. The CADNA C version enables this estimation in C or C++ programs, while the previous version had been developed for Fortran programs. The CADNA C version has the same features as the previous one: with CADNA the numerical quality of any simulation program can be controlled. Furthermore by detec...

متن کامل

Stochastic Arithmetic in Multiprecision

Floating-point arithmetic precision is limited in length the IEEE single (respectively double) precision format is 32-bit (respectively 64-bit) long. Extended precision formats can be up to 128-bit long. However some problems require a longer floating-point format, because of round-off errors. Such problems are usually solved in arbitrary precision, but round-off errors still occur and must be ...

متن کامل

On Constructing Low-Density Parity-Check Codes

This thesis focuses on designing Low-Density Parity-Check (LDPC) codes for forward-error-correction. The target application is real-time multimedia communications over packet networks. We investigate two code design issues, which are important in the target application scenarios, designing LDPC codes with low decoding latency, and constructing capacity-approaching LDPC codes with very low error...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Computer Physics Communications

دوره 176  شماره 

صفحات  -

تاریخ انتشار 2007